PROGRAMMING AUTONOMOUS BEHAVIOR OF REACTIVE METERING SYSTEMS BY TIMED AUTOMATA
نویسندگان
چکیده
منابع مشابه
Abstraction of Dynamical Systems by Timed Automata
ion of Dynamical Systems by Timed Automata Wisniewski, Rafal; Sloth, Christoffer Published in: Modeling, Identification and Control (Online Edition) DOI (link to publication from Publisher): 10.4173/mic.2011.2.3 Publication date: 2011 Document Version Early version, also known as pre-print Link to publication from Aalborg University Citation for published version (APA): Wisniewski, R., & Sloth,...
متن کاملApproximating Continuous Systems by Timed Automata
In this work we develop a new technique for over-approximating (in the sense of timed trace inclusion) continuous dynamical systems by timed automata. This technique refines commonly-used discrete abstractions which are often too coarse to be useful. The essence of our technique is the partition of the state space into cubes and the allocation of a clock for each dimension. This allows us to ge...
متن کاملUsing Interval Petri Nets and Timed Automata for Diagnosis of Discrete Event Systems (DES)
A discrete event system (DES) is a dynamic system that evolves in accordance with the abrupt occurrence, at possibly unknown irregular intervals, of physical events. Because of the special nature of these systems, different tools are currently used for their analysis, design and modeling. The main focus of this paper is the presentation of a new modeling approach of Discrete Event Systems. The ...
متن کاملTimed Automata and Embedded Systems
The increase in the complexity of system requirements has highlighted the need for rigorous methodologies for the analysis and development of these systems [4]. [5] presents some data that illustrates the role of embedded software in consumer products. For example, an electric shaver (1998 model) has about 16K bytes of control software in ROM while a VCR (1998 model) has 1.2M byes of software i...
متن کاملDiagonal Constraints in Timed Automata: Forward Analysis of Timed Systems
Timed automata (TA) are a widely used model for real-time systems. Several tools are dedicated to this model, and they mostly implement a forward analysis for checking reachability properties. Though diagonal constraints do not add expressive power to classical TA, the standard forward analysis algorithm is not correct for this model. In this paper we survey several approaches to handle diagona...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: International Journal of Computing
سال: 2017
ISSN: 2312-5381,1727-6209
DOI: 10.47839/ijc.16.1.867